Fixed-point properties for predicate modal logics
https://www.jstage.jst.go.jp/article/jafpos/29/0/29_1/_pdf/-char/ja
証明可能性述語論理QGL